Axiomatic system